Protocol analysis

Results: 1021



#Item
331International relations / Kyoto Protocol / Bali Road Map / Copenhagen Accord / Post–Kyoto Protocol negotiations on greenhouse gas emissions / United Nations Framework Convention on Climate Change / Environment / Climate change

Durban - 28 NovemberAT STAKE IN DURBAN: A CLIMATE DEAL FOR THE 1% OR THE 99%? A civil society analysis of mitigation issues in the Durban talks

Add to Reading List

Source URL: www.twn.my

Language: English - Date: 2012-06-11 03:24:24
332Data / Kerberos / Needham–Schroeder protocol / Information / Cryptographic nonce / Cyberwarfare / Cryptographic protocols / Cryptography / Computer network security

Secrecy Analysis in Protocol Composition Logic Arnab ROY a , Anupam DATTA b , Ante DEREK c , John C. MITCHELL a , and Jean-Pierre SEIFERT d a Stanford University, USA

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2007-11-29 16:22:57
333Computing / Spamming / Anti-spam techniques / Sender Policy Framework / Email spam / Simple Mail Transfer Protocol / Sender ID / Email authentication / Bayesian spam filtering / Spam filtering / Email / Computer-mediated communication

SMTP Path Analysis Barry Leiba IBM Research Hawthorne, NY Joel Ossher

Add to Reading List

Source URL: internetmessagingtechnology.org

Language: English - Date: 2011-04-20 17:23:24
334FlexRay / CAN bus / AUTOSAR / Time division multiple access / Time-Triggered Protocol / Static timing analysis / Scheduling / Network performance / Vector Informatik / Technology / Computing / Computer networks

Microsoft Word - embedded_world_08_final_marek_jersak_080109_03_mj.doc

Add to Reading List

Source URL: www.symtavision.com

Language: English - Date: 2012-10-31 05:01:40
335Broadcasting / Television technology / ATSC / High-definition television / ATSC-M/H / 8VSB / ATSC standards / Simple Network Management Protocol / Digital television / Electronic engineering / Broadcast engineering

Decontis SAM-MT 450 8VSB High End Real Time Single or Multi Location ATSC Monitoring System with RF, IP, and/or Optional ASI Input for Complete Off Air Analysis and Fast Error Reporting via SNMP. Provides Fully Detailed

Add to Reading List

Source URL: www.dveo.com

Language: English - Date: 2014-10-25 02:31:46
336Environment / Air dispersion modeling / Smog / Measurement / United States Environmental Protection Agency / Multi-effect Protocol / Uncertainty analysis / Uncertainty / Critical load / Pollution / Atmosphere / Air pollution

International Institute for Applied Systems Analysis Schlossplatz 1 A-2361 Laxenburg, Austria Interim Report

Add to Reading List

Source URL: www.iiasa.ac.at

Language: English - Date: 2001-07-04 06:08:06
337Software testing / Error detection and correction / Fuzz testing / Checksum / Cksum / Sum / Adler-32 / Hash function / Transmission Control Protocol / Computing / Software / System software

15 Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution TIELEI WANG and TAO WEI, Peking University GUOFEI GU, Texas A&M University WEI ZOU, Peking University

Add to Reading List

Source URL: lenx.100871.net

Language: English
338Predicate transformer semantics / Program logic / KeY / IP / Function / Algorithm / NP / Symbolic execution / Communications protocol / Theoretical computer science / Mathematics / Applied mathematics

Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome,

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
339Failure / Materials science / Reliability engineering / Software quality / Survival analysis / Channel / Communications protocol / Telecommunications engineering / Information / Data / Design for X

Summary of Strategic Reliability of Communication Networks by Michael Suk-Young Chwe Department of Economics, University of Chicago 1126 East 59th Street, Chicago, IllinoisUSA

Add to Reading List

Source URL: www.chwe.net

Language: English - Date: 2010-01-27 01:00:00
340Environmental economics / Multi-effect Protocol / Pollutants / Smog / Emission intensity / World Energy Outlook / Special Report on Emissions Scenarios / Pollution / Air pollution / Environment

Zbigniew Klimont Center for Integrated Assessment Modelling (CIAM) International Institute for Applied Systems Analysis (IIASA) http://gains.iiasa.ac.at Current Emissions and Baseline Projections

Add to Reading List

Source URL: www.tfeip-secretariat.org

Language: English - Date: 2012-04-04 06:22:27
UPDATE